Applicability of modified condition/decision coverage to software testing
نویسندگان
چکیده
Modified condition/decision coverage is a structural coverage criterion requiring that each condition within a decision is shown by execution to independently and correctly affect the outcome of the decision. This criterion was developed to help meet the need for extensive testing of complex Boolean expressions in safety-critical applications. The paper describes the modified condition/decision coverage criterion, its properties and areas for further work.
منابع مشابه
Formalization of Software Testing Criteria using the Z Notation
This paper describes an approach to formalization of criteria of computer systems software testing. A brief review of control-flow criteria is introduced. As a formal language for describing the criteria, the Z notation is selected. Z schemas are presented for definitions of the following criteria: statement coverage, decision coverage, condition coverage, decision/condition coverage, full pred...
متن کاملFormalization of control-flow criteria of software testing
This paper describes an approach to formalization of criteria of complex computer systems software testing. A brief review of control-flow criteria is introduced. As a formal language for describing the criteria, the Z notation is selected. Z schemas are presented for definitions of the following criteria: statement coverage, decision coverage, condition coverage, decision/condition coverage, f...
متن کاملReinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing
A new Reinforced Condition/Decision Coverage (RC/DC) criterion for software testing is proposed. This criterion provides further development of the well-known Modified Condition/Decision Coverage (MC/DC) criterion and is more suitable for testing of safety-critical software. Formal definitions in the Z notation for RC/DC, as well as MC/DC, are presented. Specific examples of using of these crit...
متن کاملEffect of Testing Coverage on Software Reliability - an Experimental Investigation
Logical expressions are often used to formalize software specifications of safety-critical systems. These logical expressions can be tested using software testing methods (criteria) that include Decision Coverage (DC), Condition Coverage (CC), Decision/Condition (D/CC), and Modified Condition/Decision Coverage (MC/DC). Selection of the appropriate testing method is an important practical task. ...
متن کاملFormal Approach in Software Testing
Testing is an important activity for checking the correctness of system implementations. It is performed by applying test experiments to an implementation under test, by making observations during the execution of the tests, and by subsequently assigning a verdict about the correct functioning of the implementation. The correctness criterion that is to be tested should be given in the System sp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Software Engineering Journal
دوره 9 شماره
صفحات -
تاریخ انتشار 1994